dectt($d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isl($d$)